\begin{tabbing}
$\forall$\=${\it es}$:ES, $A$:Type, $i$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type,\+
\\[0ex]${\it conds}$:$k$:Knd fp$\rightarrow$ $V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($A$ + Top)).
\-\\[0ex]es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;${\it conds}$) $\in$ $\mathbb{P}$
\end{tabbing}